Mathematical problem

Results: 2693



#Item
71Logic / Mathematical logic / Mathematics / Propositional calculus / Automated theorem proving / Boolean algebra / Syntax / Boolean satisfiability problem / Clause / Valuation / Propositional variable / Unit propagation

Microsoft PowerPoint - perspCompatibility Mode]

Add to Reading List

Source URL: resources.mpi-inf.mpg.de

Language: English - Date: 2012-12-18 03:41:56
72Algebra / Mathematics / Mathematical analysis / Operator theory / Linear algebra / Matrix / Basis / Inner product space / Partial differential equations / Differential forms on a Riemann surface / NeumannPoincar operator

ON THE CONDITIONING OF RANDOM SUBDICTIONARIES JOEL A. TROPP Abstract. An important problem in the theory of sparse approximation is to identify wellconditioned subsets of vectors from a general dictionary. In most cases,

Add to Reading List

Source URL: users.cms.caltech.edu

Language: English - Date: 2007-09-11 17:01:58
73Education / Mathematics education / Teaching / Educational research / Education reform / Educational psychology / Trends in International Mathematics and Science Study / How to Solve It / Teaching method / Mathematical problem / National Council of Teachers of Mathematics / Lesson

5 Alan Siegel ______________________________________________________

Add to Reading List

Source URL: www.cs.nyu.edu

Language: English - Date: 2002-08-23 00:48:13
74Mathematics / Geometry / Computer science / Search algorithms / Discrete geometry / Computational geometry / Mathematical optimization / Closest pair of points problem / Nearest neighbor search / Nearest neighbor graph / K-nearest neighbors algorithm / Euclidean minimum spanning tree

Dynamic Euclidean Minimum Spanning Trees and Extrema of Binary Functions David Eppstein Department of Information and Computer Science University of California, Irvine, CA 92717

Add to Reading List

Source URL: bioinfo.ict.ac.cn

Language: English - Date: 2014-11-28 11:05:21
75Mathematical analysis / Mathematics / Algebra / Mathematical physics / Linear algebra / Ordinary differential equations / Bernhard Riemann / Matrices / RiemannHilbert problem / Random matrix / Matrix / Eigenvalues and eigenvectors

Katholieke Universiteit Leuven Faculteit Wetenschappen Departement Wiskunde Universality in critical random matrix ensembles and pole-free solutions of Painlev´

Add to Reading List

Source URL: perso.uclouvain.be

Language: English - Date: 2010-10-01 06:31:45
76Logic / Ontology / Mathematical logic / Mathematics / Mereology / Upper ontology / First-order logic / Formal ontology / S / Equivalence relation / Problem of universals / Binary relation

International Journal of Geographical Information Science Vol. 00, No. 00, July 2006, 1–29 A Spatio-Temporal Ontology for Geographic Information Integration Thomas Bittner∗,1,2,3,4 , Maureen Donnelly1,3 , and Barry S

Add to Reading List

Source URL: www.thomasebittner.com

Language: English - Date: 2012-04-30 16:05:50
77Topology / Mathematics / Mathematical analysis / Geometric topology / Differentiable manifold / Smooth structure / Manifolds / Handle decomposition / Complex manifold

2. PROBLEM SET FOR “DIFFERENTIAL GEOMETRY II” AKA “ANALYSIS AND GEOMETRY ON MANIFOLDS” WINTER TERMProblem 4. Prove the following theorem from class, which defines the product of smooth manifolds.

Add to Reading List

Source URL: carsten.codimi.de

Language: English - Date: 2013-09-23 06:50:59
78Special functions / Mathematics / Mathematical analysis / Logarithms / Exponentials / Orthogonal polynomials / Characterizations of the exponential function / Binomial coefficient

0 AHLIN and REITER PROBLEM DEPARTMENT ASHLEY AHLIN

Add to Reading List

Source URL: www.pme-math.org

Language: English - Date: 2013-10-17 15:51:59
79Constraint programming / Mathematical optimization / Artificial intelligence / Theoretical computer science / Applied mathematics / Constraint logic programming / NP-hard problems / Operations research / Genetic algorithm / Nurse scheduling problem / Constrained optimization

LNCSA Standard Framework for Timetabling Problems

Add to Reading List

Source URL: stefan.buettcher.org

Language: English - Date: 2006-04-07 00:52:14
80Statistics / Statistical theory / Systems science / Mathematical optimization / Estimation theory / Markov models / Dynamic programming / Equations / Systems engineering / Loss function / Maximum likelihood estimation / Viterbi algorithm

Linear Dynamic Programming and the Training of Sequence Estimators Christopher Raphael? and Eric Nichols?? Abstract We consider the problem of finding an optimal path through a trellis graph when the arc costs are linear

Add to Reading List

Source URL: music.informatics.indiana.edu

Language: English - Date: 2010-06-29 17:34:24
UPDATE